The Tools menu

NOTE: If the Option key is held down while selecting an item in the Tools menu then will skip the open-file dialog and use the current DVI/PS file.
Subsections